Module isotope_parser::token[][src]

Expand description

Keywords and special characters

Constants

ASSERT_EQ

An equality check

ASSIGN

An assignment

BETA

A beta reduction statement

BETA_ETA

A beta-eta reduction statement

BOOL

The keyword for the type of boolean values

ETA

An eta reduction statement

FALSE

The keyword for false

FN_ARROW

A function type arrow

HEAD

A head reduction statement

HOLE

The keyword for a “hole”

LAMBDA

A lambda function

LET

A let statement

MAP_ARROW

A mapping arrow

PI

A dependent function type

SIMPLE_LAMBDA

A simple lambda function

SIMPLE_PI

A simple dependent function type

SPECIAL_CHARACTERS

The set of special characters

TRUE

The keyword for true

UNIVERSE

The keyword for typing universes

UNIVERSE_VAR

The keyword for a typing universe variable

Functions

is_keyword

Check whether a string not beginning with # is a keyword or number